<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Korrekt gestelltes Problem</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Korrekt_gestelltes_Problem"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Korrekt_gestelltes_Problem rootpage-Korrekt_gestelltes_Problem skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Korrekt gestelltes Problem</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">
<p>Ein mathematisches Problem heißt <b>korrekt gestellt</b> (auch <b>wohlgestellt</b>, <b>gut gestellt</b> oder <b>sachgemäß gestellt</b>), wenn folgende Bedingungen erfüllt sind:
</p>
<ol><li>Das Problem hat eine Lösung (Existenz).</li>
<li>Diese Lösung ist eindeutig bestimmt (Eindeutigkeit).</li>
<li>Diese Lösung hängt <a href="Stetige_Funktion" title="Stetige Funktion">stetig</a> von den Eingangsdaten ab.</li></ol>
<p>Ist eine dieser Bedingungen nicht erfüllt, so heißt das Problem <b>inkorrekt gestellt</b> (oder auch <i>schlecht gestellt</i>). Diese Definition geht zurück auf <a href="Jacques_Hadamard" title="Jacques Hadamard">Jacques Hadamard</a>, daher nennt man die obigen Bedingungen auch „Hadamard'sche Forderungen“.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>
</p>
<div class="mw-heading mw-heading2"><h2 id="Motivation">Motivation</h2></div>
<p>Um Probleme aus Physik, Technik oder anderen Naturwissenschaften mit Hilfe der Methoden der Mathematik oder der <a href="Numerik" class="mw-redirect" title="Numerik">Numerik</a> behandeln zu können, muss das Problem zunächst als ein <a href="Mathematisches_Modell" title="Mathematisches Modell">mathematisches Modell</a> formuliert werden. Wissen wir bei dem zu beschreibenden realen Vorgang (z. B. aus unserer Erfahrung und aus dem Gefühl „Die Natur macht keine Sprünge“), dass eine Lösung existiert, diese eindeutig bestimmt ist und sich nicht sehr ändert, wenn man die Eingangsdaten nur wenig ändert, so würden wir uns ein derartiges Verhalten auch für die Lösung des entsprechenden mathematischen Modells wünschen.
Bei dem mathematischen Modell sind alle diese Eigenschaften keineswegs klar. Sie können auch nicht aus den Eigenschaften des entsprechenden physikalischen Systems abgeleitet werden, da bei der mathematischen Modellierung immer gewisse Aspekte der Realität (beispielsweise <a href="Reibung" title="Reibung">Reibung</a>) ausgeblendet werden. Man muss daher mit mathematischen Methoden nachweisen, dass die Bedingungen 1 bis 3 erfüllt sind.
</p>
<div class="mw-heading mw-heading2"><h2 id="Bedeutung">Bedeutung</h2></div>
<p>Die dritte Bedingung (stetige Abhängigkeit der Lösung von den Eingangsdaten) besagt gerade, dass sich bei kleiner Änderung der Eingangsdaten auch die Lösung des Problems nur wenig ändert. Dies ist in vielen Anwendungen wichtig, da hier oftmals die Eingangsdaten nur als <a href="Messabweichung" title="Messabweichung">fehlerbehaftete Messdaten</a> vorliegen. Ist diese dritte Bedingung aber nicht erfüllt, so hat das sogar die Konsequenz, dass in beliebiger „Nähe“ eines lösbaren Problems unendlich viele Probleme ohne Lösung liegen.
</p><p>Für korrekt gestellte Probleme ist im Regelfall ein <a href="Stabilit%C3%A4t_(Numerik)" title="Stabilität (Numerik)">stabiler</a> numerischer Lösungsalgorithmus bekannt, schlecht gestellte Probleme müssen meist zunächst umformuliert werden, beispielsweise mittels <a href="Regularisierung" class="mw-disambig" title="Regularisierung">Regularisierungstechniken</a>.
</p>
<div class="mw-heading mw-heading2"><h2 id="Beispiele">Beispiele</h2></div>
<p>Das <a href="Anfangswertproblem" title="Anfangswertproblem">Anfangswertproblem</a> zur <a href="W%C3%A4rmeleitungsgleichung" title="Wärmeleitungsgleichung">Wärmeleitungsgleichung</a> führt beispielsweise auf korrekt gestellte Probleme. Dagegen ist das entsprechende <a href="Inverses_Problem" title="Inverses Problem">inverse Problem</a> (gegeben eine Lösung, bestimme die Anfangsdaten) schlecht gestellt.
</p><p>Im Allgemeinen sind <a href="Partielle_Differentialgleichung" title="Partielle Differentialgleichung">partielle Differentialgleichungen</a> nur dann korrekt gestellt, wenn zum Grundtyp passende Anfangs- und/oder Randbedingungen vorgegeben werden. So ist beispielsweise die <a href="Wellengleichung" title="Wellengleichung">Wellengleichung</a> als <a href="Anfangswertproblem" title="Anfangswertproblem">Anfangswertproblem</a> korrekt gestellt, als reines <a href="Randwertproblem" title="Randwertproblem">Randwertproblem</a> muss jedoch nicht unbedingt eine Lösung existieren. Eine ähnliche Situation liegt bei der <a href="Laplace-Gleichung" title="Laplace-Gleichung">Laplace-Gleichung</a> vor: Hier ist das Randwertproblem korrekt gestellt, das Anfangswertproblem (wobei eine Koordinate die Funktion der Zeit übernimmt) jedoch nicht.
</p><p>Es hat sich gezeigt, dass sehr viele interessante mathematische Probleme (z. B. in der <a href="Computertomographie" class="mw-redirect" title="Computertomographie">Computertomographie</a>, der Lagerstättenexploration) diese Korrektheitsbedingungen verletzen. So können Messfehler dazu beitragen, dass Bedingung 1 verletzt wird. Die Struktur des Problems kann dazu führen, dass Bedingung 3 verletzt wird.
</p>
<div class="mw-heading mw-heading2"><h2 id="Siehe_auch">Siehe auch</h2></div>
<ul><li><a href="Kondition_(Mathematik)" title="Kondition (Mathematik)">Kondition (Mathematik)</a></li>
<li><a href="Wohldefiniertheit" title="Wohldefiniertheit">Wohldefiniertheit</a></li></ul>
<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a href="Jacques_Hadamard" title="Jacques Hadamard">Jacques Hadamard</a>: <i>Sur les problèmes aux dérivées partielles et leur signification physique.</i> In: <i>Princeton University Bulletin.</i> Bd. 13, Nr. 4, 1902, <a href="Zeitschriftendatenbank" title="Zeitschriftendatenbank">ZDB</a>-ID <span class="-print"><a rel="nofollow" class="external text" href="https://zdb-katalog.de/list.xhtml?t=1282693-5&key=zdb">1282693-5</a></span>, <a rel="nofollow" class="external text" href="https://babel.hathitrust.org/cgi/pt?id=chi.095582186;view=1up;seq=65">S. 49–52</a>.</span>
</li>
</ol></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2023-05-13" href="https://de.wikipedia.org/wiki/?title=Korrekt_gestelltes_Problem&oldid=233693941">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>